A threshold operation in which each operand is 0 or 1; output is 1 if and only if more than half the operands have the value 1
